Symmetries, local names and dynamic (de)-allocation of names
نویسندگان
چکیده
منابع مشابه
Symmetries, local names and dynamic (de)-allocation of names
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not apt to implementation. Coalgebras over named sets, called history-dependent automata, are better suited for the purpose due to locality of names. A theory of behavioural functors for named sets is still lacking: the semant...
متن کاملLocal Names in SPKI/SDSI
We analyze the notion of “local names” in SPKI/SDSI. By interpreting local names as distributed groups, we develop a simple logic program for SPKI/SDSI’s linked localname scheme and prove that it is equivalent to the nameresolution procedure in SDSI 1.1 and the 4-tuple-reduction mechanism in SPKI/SDSI 2.0. This logic program is itself a logic for understanding SDSI’s linked local-name scheme an...
متن کاملCategorical Models for Local Names
This paper describes the construction of categorical models for the nu-calculus, a language that combines higher-order functions with dynamically created names. Names are created with local scope, they can be compared with each other and passed around through function application, but that is all. The intent behind this language is to examine one aspect of the imperative character of Standard M...
متن کاملfictional names
fictional names have been one of the most important and serious topics in the contemporary philosophy of language and metaphysics.several questions such as “do fictional names refer to any objects?” “are fictional characters existent objects?” have resulted in a considerable literature of philosophy. in this essay, we will follow two objectives. first we will describe and elaborate the ideas ...
متن کاملgeographical names
a place-name or a toponym is a word used to indicate, denote or identify a geographic locality. place-names are formed in the course of history of a region and are affected by various linguistic, social, political and cultural events. toponymy is the taxonomic study of place-names, based on etymological, historical and geographical information. this paper first defines toponym and topnymy and i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.10.007